1. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
2. A general algebraic semantics for sentential logics
پدیدآورنده : Font, Josep Maria, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Algebraic logic
رده :
QA
9
.
A1L44
Vol
.
7
3. A general algebraic semantics for sentential logics
پدیدآورنده : Josep Maria Font, Ramon Jansana
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
4. A problem solving approach to mathematics for elementary school teachers /
پدیدآورنده : Rick Billstein, University of Montana, Shlomo Libeskind, University of Oregon, Johnny W. Lott, University of Montana and Barbara Boschmans, Northern Arizona University for the chapter on Number Theory.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematics-- Study and teaching (Elementary),Problem solving-- Study and teaching (Elementary),Matematik.,Matematikundervisning.,Mathematics-- Study and teaching (Elementary),Problem solving-- Study and teaching (Elementary)
رده :
QA135
.
6
.
B55
2016
5. Abstract algebraic logic : an introductory textbook
پدیدآورنده : Font, Josep Maria, 4591-
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebraic logic
رده :
QA
10
.
F6
2016
6. Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertaint
پدیدآورنده : / by Janusz T. Starczewski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Engineering,Computer simulation,Engineering design,Electronic books
رده :
E-BOOK
7. Advances in Intelligent Computing -- IPMU '94 :
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.
8. Advances in databases and information systems :
پدیدآورنده : Johann Eder and Leonid A. Kalinichenko (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
D3
J643
1996
9. Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
10. Algebra, logic, set theory :
پدیدآورنده : edited by Benedikt Löwe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebraic logic,Set theory
11. Algebraic Circuits
پدیدآورنده : \ Antonio Lloris Ruiz ... [et.al.]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Digital electronics -- Mathematics,Algebra,Computer arithmetic and logic units,الکترونیک رقمی -- ریاضیات,ج‍ب‍ر
رده :
E-Book
,
12. Algebraic Coding Theory and Information Theory: DIMACS Workshop Algeraic Coding Theory and Information Theory, Desember 15-18, 2003 Rugers University, Piscataway, New Jersey
پدیدآورنده : / A.Ashikhmin, A. Barg, Editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Information theory in mathematics -- Congresses,Coding Theory -- Congresses,Algebracie logic -- Congresses
رده :
QA10
.
4
.
A44
2005
13. Algebraic Combinatorics and Computer Science
پدیدآورنده : edited by H. Crapo, D. Senato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Combinatorics.,Computer science-- Mathematics.,Information theory.,Mathematics.
14. Algebraic Foundations of Many-Valued Reasoning
پدیدآورنده : by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
15. Algebraic Foundations of Systems Specification
پدیدآورنده : edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
16. Algebraic-Geometric Codes
پدیدآورنده : by M. A. Tsfasman, S. G. Vlǎduţ.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer engineering.,Geometry, Algebraic.,Information theory.,Mathematics.,Number theory.
17. Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings
پدیدآورنده : C.H.Bergman,R.D.Maddux,D.L.Pigozzi)eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Algebraic logic,Congresses ، Algebra, Universal
رده :
QA
76
.
L4
v
.
425
18. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings
پدیدآورنده : Algebraic Logic and Universal Algebra in Computer Science Conference )8891 :Ames, Iowa(, C.H. Bergman, R.D. Maddux, D.L. Pigozzi )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Algebraic logic- Congresses,، Algebra, Universal- Congresses
رده :
QA
10
.
A45
1990
19. Algebraic Methodes in Philosophical Logic
پدیدآورنده : / J.Michael Dunn and Gary M.Hardegree
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algabric Logic
رده :
QA10
.
D85
2001
